Operational calculus and self-reciprocal functions

On Properties of Self Reciprocal Functions

Creating Reciprocal Value Through Operational Transparency

The Lambda Calculus and Operational Semantics

Content Plotkin explains what it means for a calculus to be the calculus of a language (via a Church-Rosser and a Curry-Feys Standardization theorems) and illustrates this point with the by-value and by-name versions of ISWIM and with by-value and by-name versions of the lambda calculus. This part alone lays the foundation for “reduction semantics.” In the second half of the paper, Plotkin pres...

Matrix Mittag-Leffler functions of fractional nabla calculus

In this article, we propose the definition of one parameter matrix Mittag-Leffler functions of fractional nabla calculus and present three different algorithms to construct them. Examples are provided to illustrate the applicability of suggested algorithms.

Basic Functions and Operational Units